Nederlands dubbelstukweverij (de) Frans tissage en double pièce (le) Duits Doppelteppichweberei (die) Engels face-to-face weaving mill